Lagrangian Reachabililty
نویسندگان
چکیده
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system. LRT makes use of the Cauchy-Green stretching factor (SF), which is derived from an overapproximation of the gradient of the solution-flows. The SF measures the discrepancy between two states propagated by the system solution from two initial states lying in a well-defined region, thereby allowing LRT to compute a reachtube with a ball-overestimate in a metric where the computed enclosure is as tight as possible. To evaluate its performance, we implemented a prototype of LRT in C++/Matlab, and ran it on a set of well-established benchmarks. Our results show that LRT compares very favorably with respect to the CAPD and Flow* tools.
منابع مشابه
Towards a Unified Internet Control Architecture
While the Internet has radically changed business and society over the past decades, its architecture has hardly evolved. Therefore, pressure from new applications, business models and networking technologies is distorting the architecture to a degree that requires a redesign. This paper presents two fundamental principles to redesign the Internet architecture. Firstly, the three fundamental bu...
متن کاملThe Symmetries of Equivalent Lagrangian Systems and Constants of Motion
In this paper Mathematical structure of time-dependent Lagrangian systems and their symmetries are extended and the explicit relation between constants of motion and infinitesimal symmetries of time-dependent Lagrangian systems are considered. Starting point is time-independent Lagrangian systems ,then we extend mathematical concepts of these systems such as equivalent lagrangian systems to th...
متن کاملLagrangian Relaxation Method for the Step fixed-charge Transportation Problem
In this paper, a step fixed charge transportation problem is developed where the products are sent from the sources to the destinations in existence of both unit and step fixed-charges. The proposed model determines the amount of products in the existing routes with the aim of minimizing the total cost (sum of unit and step fixed-charges) to satisfy the demand of each customer. As the problem i...
متن کاملتحلیل دینامیکی سدهای بتنی وزنی با مدلسازی مخزن به روشهای لاگرانژی و اویلری
Because of different behavior of reservoir water and dam material, the determination of hydrodynamic pressure during earthquake is very complicated. Thus, different formulations have been presented for modeling of the dam reservoir system under dynamic loading such as earthquake. These formulations can be categorized into two general groups, which are Lagrangian and Eulerian, each having advant...
متن کاملIsotropic Lagrangian Submanifolds in Complex Space Forms
In this paper we study isotropic Lagrangian submanifolds , in complex space forms . It is shown that they are either totally geodesic or minimal in the complex projective space , if . When , they are either totally geodesic or minimal in . We also give a classification of semi-parallel Lagrangian H-umbilical submanifolds.
متن کامل